[INFO] fetching crate miden-vm 0.23.3...
[INFO] fixing miden-vm-0.23.3 against try#622891a4e29178280638a6b63a8908bde2c0c854+cargoflags=-Zfix-edition=start=2015 for pr-157817-2
[INFO] extracting crate miden-vm 0.23.3 into /workspace/builds/worker-5-tc1/source
[INFO] started tweaking crates.io crate miden-vm 0.23.3
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate miden-vm 0.23.3
[INFO] tweaked toml for crates.io crate miden-vm 0.23.3 written to /workspace/builds/worker-5-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate miden-vm 0.23.3 on toolchain 622891a4e29178280638a6b63a8908bde2c0c854
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate miden-vm 0.23.3 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded miden-lifted-stark v0.25.0
[INFO] [stderr]   Downloaded miden-stark-transcript v0.25.0
[INFO] [stderr]   Downloaded miden-stateful-hasher v0.25.0
[INFO] [stderr]   Downloaded miden-lifted-air v0.25.0
[INFO] [stderr]   Downloaded miden-crypto-derive v0.25.0
[INFO] [stderr]   Downloaded tracing-forest v0.2.0
[INFO] [stderr]   Downloaded miden-serde-utils v0.25.0
[INFO] [stderr]   Downloaded miden-field v0.25.0
[INFO] [stderr]   Downloaded miden-prover v0.23.3
[INFO] [stderr]   Downloaded escargot v0.5.15
[INFO] [stderr]   Downloaded miden-crypto v0.25.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3a6becf2bc8dde7f3fa57ede90e4f284e72d296796fc446bbb1e2c7cc0530151" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 5d79c6bbe052cb279e8092860b033e1fdddd3767f76dfcf2bdd6677095e8d8de
[INFO] running `Command { std: "docker" "start" "5d79c6bbe052cb279e8092860b033e1fdddd3767f76dfcf2bdd6677095e8d8de", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "5d79c6bbe052cb279e8092860b033e1fdddd3767f76dfcf2bdd6677095e8d8de" "/opt/rustwide/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "5d79c6bbe052cb279e8092860b033e1fdddd3767f76dfcf2bdd6677095e8d8de", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=" "-e" "RUSTDOCFLAGS=" "-w" "/opt/rustwide/workdir" "--user" "0:0" "5d79c6bbe052cb279e8092860b033e1fdddd3767f76dfcf2bdd6677095e8d8de" "/opt/rustwide/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "fix" "--allow-no-vcs" "--allow-dirty" "--frozen" "--all" "--all-targets" "--message-format=json" "-Zfix-edition=start=2015", kill_on_drop: false }`
[INFO] [stderr]    Compiling typenum v1.20.0
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling subtle v2.6.1
[INFO] [stderr]    Compiling either v1.16.0
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling getrandom v0.2.17
[INFO] [stderr]    Compiling scopeguard v1.2.0
[INFO] [stderr]    Compiling const-oid v0.9.6
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]     Checking num-integer v0.1.46
[INFO] [stderr]     Checking strength_reduce v0.2.4
[INFO] [stderr]    Compiling lock_api v0.4.14
[INFO] [stderr]     Checking tracing-core v0.1.36
[INFO] [stderr]    Compiling portable-atomic v1.13.1
[INFO] [stderr]     Checking rand v0.10.1
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]     Checking itertools v0.14.0
[INFO] [stderr]     Checking p3-maybe-rayon v0.5.3
[INFO] [stderr]     Checking num-bigint v0.4.6
[INFO] [stderr]     Checking transpose v0.2.3
[INFO] [stderr]    Compiling crunchy v0.2.4
[INFO] [stderr]    Compiling curve25519-dalek-derive v0.1.1
[INFO] [stderr]    Compiling rand_core v0.10.1
[INFO] [stderr]     Checking tracing v0.1.44
[INFO] [stderr]    Compiling blake3 v1.8.5
[INFO] [stderr]    Compiling tiny-keccak v2.0.2
[INFO] [stderr]    Compiling miden-field v0.25.0
[INFO] [stderr]    Compiling miden-crypto v0.25.0
[INFO] [stderr]    Compiling owo-colors v4.3.0
[INFO] [stderr]    Compiling miden-crypto-derive v0.25.0
[INFO] [stderr]     Checking spin v0.10.0
[INFO] [stderr]    Compiling miden-miette-derive v8.0.0
[INFO] [stderr]    Compiling zerocopy-derive v0.8.48
[INFO] [stderr]     Checking generic-array v0.14.7
[INFO] [stderr]    Compiling memchr v2.8.0
[INFO] [stderr]     Checking der v0.7.10
[INFO] [stderr]    Compiling derive_more-impl v2.1.1
[INFO] [stderr]    Compiling keccak v0.1.6
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling log v0.4.29
[INFO] [stderr]     Checking ff v0.13.1
[INFO] [stderr]    Compiling num-derive v0.4.2
[INFO] [stderr]     Checking group v0.13.0
[INFO] [stderr]     Checking thiserror v2.0.18
[INFO] [stderr]     Checking critical-section v1.2.0
[INFO] [stderr]    Compiling zerocopy v0.8.48
[INFO] [stderr]     Checking spin v0.9.8
[INFO] [stderr]     Checking spki v0.7.3
[INFO] [stderr]     Checking crypto-common v0.1.7
[INFO] [stderr]     Checking block-buffer v0.10.4
[INFO] [stderr]    Compiling aho-corasick v1.1.4
[INFO] [stderr]     Checking digest v0.10.7
[INFO] [stderr]     Checking crypto-bigint v0.5.5
[INFO] [stderr]     Checking pkcs8 v0.10.2
[INFO] [stderr]     Checking inout v0.1.4
[INFO] [stderr]     Checking sec1 v0.7.3
[INFO] [stderr]     Checking once_cell v1.21.4
[INFO] [stderr]     Checking universal-hash v0.5.1
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]     Checking cipher v0.4.4
[INFO] [stderr]    Compiling phf_shared v0.11.3
[INFO] [stderr]     Checking hmac v0.12.1
[INFO] [stderr]     Checking signature v2.2.0
[INFO] [stderr]     Checking hkdf v0.12.4
[INFO] [stderr]     Checking rfc6979 v0.4.0
[INFO] [stderr]    Compiling sha3 v0.10.9
[INFO] [stderr]     Checking sha2 v0.10.9
[INFO] [stderr]     Checking chacha20 v0.9.1
[INFO] [stderr]     Checking ed25519 v2.2.3
[INFO] [stderr]    Compiling rand_core v0.9.5
[INFO] [stderr]     Checking poly1305 v0.8.0
[INFO] [stderr]     Checking aead v0.5.2
[INFO] [stderr]     Checking num-rational v0.4.2
[INFO] [stderr]     Checking num-iter v0.1.45
[INFO] [stderr]     Checking nanorand v0.7.0
[INFO] [stderr]     Checking num-complex v0.4.6
[INFO] [stderr]    Compiling precomputed-hash v0.1.1
[INFO] [stderr]    Compiling new_debug_unreachable v1.0.6
[INFO] [stderr]     Checking futures-sink v0.3.32
[INFO] [stderr]    Compiling same-file v1.0.6
[INFO] [stderr]    Compiling base16ct v0.2.0
[INFO] [stderr]     Checking futures-core v0.3.32
[INFO] [stderr]    Compiling term v1.2.1
[INFO] [stderr]    Compiling petgraph v0.7.1
[INFO] [stderr]    Compiling walkdir v2.5.0
[INFO] [stderr]     Checking num v0.4.3
[INFO] [stderr]     Checking flume v0.11.1
[INFO] [stderr]    Compiling semver v1.0.28
[INFO] [stderr]    Compiling ascii-canvas v4.0.0
[INFO] [stderr]     Checking chacha20poly1305 v0.10.1
[INFO] [stderr]    Compiling lalrpop-util v0.22.2
[INFO] [stderr]    Compiling ena v0.14.4
[INFO] [stderr]     Checking rand_hc v0.3.2
[INFO] [stderr]    Compiling unicode-xid v0.2.6
[INFO] [stderr]     Checking textwrap v0.16.2
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]     Checking miden-formatting v0.1.1
[INFO] [stderr]    Compiling rustc_version v0.4.1
[INFO] [stderr]     Checking elliptic-curve v0.13.8
[INFO] [stderr]    Compiling serde_repr v0.1.20
[INFO] [stderr]     Checking serde_spanned v1.1.1
[INFO] [stderr]    Compiling cpufeatures v0.3.0
[INFO] [stderr]    Compiling curve25519-dalek v4.1.3
[INFO] [stderr]    Compiling constant_time_eq v0.4.2
[INFO] [stderr]    Compiling arrayref v0.3.9
[INFO] [stderr]    Compiling opaque-debug v0.3.1
[INFO] [stderr]     Checking ecdsa v0.16.9
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]     Checking k256 v0.13.4
[INFO] [stderr]     Checking miden-miette v8.0.0
[INFO] [stderr]     Checking p3-util v0.5.3
[INFO] [stderr]     Checking smallvec v1.15.1
[INFO] [stderr]     Checking p3-field v0.5.3
[INFO] [stderr]    Compiling typeid v1.0.3
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling unicode-width v0.2.2
[INFO] [stderr]    Compiling unicode-linebreak v0.1.5
[INFO] [stderr]     Checking parking_lot v0.12.5
[INFO] [stderr]    Compiling smawk v0.3.2
[INFO] [stderr]     Checking ed25519-dalek v2.2.0
[INFO] [stderr]     Checking x25519-dalek v2.0.1
[INFO] [stderr]     Checking miden-utils-sync v0.23.3
[INFO] [stderr]     Checking derive_more v2.1.1
[INFO] [stderr]    Compiling erased-serde v0.4.10
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling string_cache v0.8.9
[INFO] [stderr]     Checking p3-symmetric v0.5.3
[INFO] [stderr]     Checking p3-matrix v0.5.3
[INFO] [stderr]    Compiling unarray v0.1.4
[INFO] [stderr]     Checking p3-poseidon1 v0.5.3
[INFO] [stderr]     Checking miden-stateful-hasher v0.25.0
[INFO] [stderr]     Checking p3-keccak v0.5.3
[INFO] [stderr]     Checking p3-blake3 v0.5.3
[INFO] [stderr]    Compiling bitflags v2.11.1
[INFO] [stderr]    Compiling version-ranges v0.1.3
[INFO] [stderr]    Compiling priority-queue v2.7.0
[INFO] [stderr]    Compiling rustc-hash v2.1.2
[INFO] [stderr]    Compiling toml_datetime v1.1.1+spec-1.1.0
[INFO] [stderr]    Compiling utf8parse v0.2.2
[INFO] [stderr]     Checking p3-dft v0.5.3
[INFO] [stderr]     Checking p3-air v0.5.3
[INFO] [stderr]    Compiling anstyle-parse v1.0.0
[INFO] [stderr]    Compiling pubgrub v0.3.0
[INFO] [stderr]    Compiling toml v1.1.2+spec-1.1.0
[INFO] [stderr]     Checking ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling regex v1.12.3
[INFO] [stderr]    Compiling fs-err v3.3.0
[INFO] [stderr]     Checking rand_chacha v0.9.0
[INFO] [stderr]    Compiling serde-untagged v0.1.9
[INFO] [stderr]     Checking miden-lifted-air v0.25.0
[INFO] [stderr]     Checking rand v0.9.4
[INFO] [stderr]    Compiling is_terminal_polyfill v1.70.2
[INFO] [stderr]    Compiling anstyle v1.0.14
[INFO] [stderr]    Compiling anstyle-query v1.1.5
[INFO] [stderr]    Compiling colorchoice v1.0.5
[INFO] [stderr]    Compiling lalrpop v0.22.2
[INFO] [stderr]    Compiling env_filter v1.0.1
[INFO] [stderr]     Checking p3-mds v0.5.3
[INFO] [stderr]     Checking rayon v1.12.0
[INFO] [stderr]     Checking p3-poseidon2 v0.5.3
[INFO] [stderr]    Compiling anstream v1.0.0
[INFO] [stderr]     Checking p3-monty-31 v0.5.3
[INFO] [stderr]    Compiling jiff v0.2.24
[INFO] [stderr]    Compiling miden-utils-core-derive v0.23.3
[INFO] [stderr]     Checking serde_json v1.0.149
[INFO] [stderr]     Checking half v2.7.1
[INFO] [stderr]     Checking proptest v1.11.0
[INFO] [stderr]     Checking bincode v1.3.3
[INFO] [stderr]     Checking ciborium-io v0.2.2
[INFO] [stderr]     Checking plotters-backend v0.3.7
[INFO] [stderr]     Checking clap_builder v4.6.0
[INFO] [stderr]     Checking itertools v0.13.0
[INFO] [stderr]     Checking ciborium-ll v0.2.2
[INFO] [stderr]     Checking float-cmp v0.10.0
[INFO] [stderr]     Checking plotters-svg v0.3.7
[INFO] [stderr]    Compiling assert_cmd v2.2.2
[INFO] [stderr]    Compiling escargot v0.5.15
[INFO] [stderr]     Checking tokio v1.52.3
[INFO] [stderr]     Checking plotters v0.3.7
[INFO] [stderr]     Checking ciborium v0.2.2
[INFO] [stderr]     Checking wait-timeout v0.2.1
[INFO] [stderr]     Checking anes v0.1.6
[INFO] [stderr]     Checking p3-challenger v0.5.3
[INFO] [stderr]     Checking bstr v1.12.1
[INFO] [stderr]     Checking tinytemplate v1.2.1
[INFO] [stderr]     Checking p3-goldilocks v0.5.3
[INFO] [stderr]     Checking miden-stark-transcript v0.25.0
[INFO] [stderr]     Checking predicates v3.1.4
[INFO] [stderr]     Checking miden-serde-utils v0.25.0
[INFO] [stderr]     Checking miden-lifted-stark v0.25.0
[INFO] [stderr]     Checking midenc-hir-type v0.6.1
[INFO] [stderr]     Checking criterion-plot v0.6.0
[INFO] [stderr]     Checking clap v4.6.1
[INFO] [stderr]     Checking criterion v0.7.0
[INFO] [stderr]    Compiling env_logger v0.11.10
[INFO] [stderr]     Checking miden-utils-indexing v0.23.3
[INFO] [stderr]     Checking miden-debug-types v0.23.3
[INFO] [stderr]     Checking miden-core v0.23.3
[INFO] [stderr]     Checking miden-utils-diagnostics v0.23.3
[INFO] [stderr]    Compiling miden-assembly-syntax v0.23.3
[INFO] [stderr]     Checking miden-ace-codegen v0.23.3
[INFO] [stderr]     Checking miden-air v0.23.3
[INFO] [stderr]     Checking miden-processor v0.23.3
[INFO] [stderr]     Checking miden-verifier v0.23.3
[INFO] [stderr]     Checking miden-prover v0.23.3
[INFO] [stderr]     Checking miden-mast-package v0.23.3
[INFO] [stderr]     Checking miden-package-registry v0.23.3
[INFO] [stderr]     Checking miden-project v0.23.3
[INFO] [stderr]     Checking miden-assembly v0.23.3
[INFO] [stderr]    Compiling miden-core-lib v0.23.3
[INFO] [stderr]     Checking miden-vm v0.23.3 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0432]: unresolved import `miden_assembly::testing`
[INFO] [stdout]   --> tests/integration/operations/field_ops.rs:1:21
[INFO] [stdout]    |
[INFO] [stdout]  1 | use miden_assembly::testing::regex;
[INFO] [stdout]    |                     ^^^^^^^ could not find `testing` in `miden_assembly`
[INFO] [stdout]    |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/miden-assembly-0.23.3/src/lib.rs:25:9
[INFO] [stdout]    |
[INFO] [stdout] 24 | #[cfg(any(test, feature = "testing"))]
[INFO] [stdout]    |          --------------------------- the item is gated here
[INFO] [stdout] 25 | pub mod testing;
[INFO] [stdout]    |         ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `miden_assembly::testing`
[INFO] [stdout]   --> tests/integration/operations/stack_ops.rs:1:21
[INFO] [stdout]    |
[INFO] [stdout]  1 | use miden_assembly::testing::regex;
[INFO] [stdout]    |                     ^^^^^^^ could not find `testing` in `miden_assembly`
[INFO] [stdout]    |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/miden-assembly-0.23.3/src/lib.rs:25:9
[INFO] [stdout]    |
[INFO] [stdout] 24 | #[cfg(any(test, feature = "testing"))]
[INFO] [stdout]    |          --------------------------- the item is gated here
[INFO] [stdout] 25 | pub mod testing;
[INFO] [stdout]    |         ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `miden_utils_testing`
[INFO] [stdout]  --> tests/integration/main.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use miden_utils_testing::{build_op_test, build_test};
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `miden_utils_testing`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `miden_utils_testing`, use `cargo add miden_utils_testing` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find module or crate `miden_utils_testing` in this scope
[INFO] [stdout]  --> tests/integration/air/chiplets/mod.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use miden_utils_testing::{build_test, rand::rand_vector};
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `miden_utils_testing`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `miden_utils_testing`, use `cargo add miden_utils_testing` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `miden_utils_testing`
[INFO] [stdout]  --> tests/integration/air/chiplets/mod.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use miden_utils_testing::{build_test, rand::rand_vector};
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `miden_utils_testing`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `miden_utils_testing`, use `cargo add miden_utils_testing` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `miden_utils_testing`
[INFO] [stdout]  --> tests/integration/air/chiplets/bitwise.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use miden_utils_testing::{build_op_test, build_test};
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `miden_utils_testing`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `miden_utils_testing`, use `cargo add miden_utils_testing` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find module or crate `miden_utils_testing` in this scope
[INFO] [stdout]  --> tests/integration/air/chiplets/hasher.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use miden_utils_testing::{
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `miden_utils_testing`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `miden_utils_testing`, use `cargo add miden_utils_testing` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `miden_utils_testing`
[INFO] [stdout]  --> tests/integration/air/chiplets/hasher.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use miden_utils_testing::{
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `miden_utils_testing`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `miden_utils_testing`, use `cargo add miden_utils_testing` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `miden_utils_testing`
[INFO] [stdout]  --> tests/integration/air/chiplets/memory.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use miden_utils_testing::{build_op_test, build_test};
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `miden_utils_testing`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `miden_utils_testing`, use `cargo add miden_utils_testing` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `miden_utils_testing`
[INFO] [stdout]  --> tests/integration/air/range.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use miden_utils_testing::{build_op_test, build_test};
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `miden_utils_testing`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `miden_utils_testing`, use `cargo add miden_utils_testing` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `miden_utils_testing`
[INFO] [stdout]  --> tests/integration/air/stack/mod.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use miden_utils_testing::build_op_test;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `miden_utils_testing`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `miden_utils_testing`, use `cargo add miden_utils_testing` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `miden_utils_testing`
[INFO] [stdout]  --> tests/integration/air/stack/field_ops.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use miden_utils_testing::build_op_test;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `miden_utils_testing`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `miden_utils_testing`, use `cargo add miden_utils_testing` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `miden_utils_testing`
[INFO] [stdout]  --> tests/integration/air/stack/stack_manipualtion_ops.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use miden_utils_testing::build_op_test;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `miden_utils_testing`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `miden_utils_testing`, use `cargo add miden_utils_testing` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `miden_utils_testing`
[INFO] [stdout]  --> tests/integration/flow_control/mod.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use miden_utils_testing::{build_debug_test, build_test, expect_exec_error_matches, push_inputs};
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `miden_utils_testing`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `miden_utils_testing`, use `cargo add miden_utils_testing` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find module or crate `miden_utils_testing` in this scope
[INFO] [stdout]  --> tests/integration/operations/decorators/advice.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use miden_utils_testing::{build_test, crypto::MerkleStore};
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `miden_utils_testing`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `miden_utils_testing`, use `cargo add miden_utils_testing` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `miden_utils_testing`
[INFO] [stdout]  --> tests/integration/operations/decorators/advice.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use miden_utils_testing::{build_test, crypto::MerkleStore};
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `miden_utils_testing`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `miden_utils_testing`, use `cargo add miden_utils_testing` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find module or crate `miden_utils_testing` in this scope
[INFO] [stdout]  --> tests/integration/operations/ext2_ops.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use miden_utils_testing::{build_op_test, rand::rand_quad_felt};
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `miden_utils_testing`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `miden_utils_testing`, use `cargo add miden_utils_testing` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `miden_utils_testing`
[INFO] [stdout]  --> tests/integration/operations/ext2_ops.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use miden_utils_testing::{build_op_test, rand::rand_quad_felt};
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `miden_utils_testing`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `miden_utils_testing`, use `cargo add miden_utils_testing` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find module or crate `miden_utils_testing` in this scope
[INFO] [stdout]  --> tests/integration/operations/fri_ops.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use miden_utils_testing::{Felt, TRUNCATE_STACK_PROC, build_test, push_inputs, rand::rand_array};
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `miden_utils_testing`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `miden_utils_testing`, use `cargo add miden_utils_testing` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `miden_utils_testing`
[INFO] [stdout]  --> tests/integration/operations/fri_ops.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use miden_utils_testing::{Felt, TRUNCATE_STACK_PROC, build_test, push_inputs, rand::rand_array};
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `miden_utils_testing`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `miden_utils_testing`, use `cargo add miden_utils_testing` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `miden_utils_testing`
[INFO] [stdout]  --> tests/integration/operations/io_ops/mod.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use miden_utils_testing::{
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `miden_utils_testing`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `miden_utils_testing`, use `cargo add miden_utils_testing` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `miden_utils_testing`
[INFO] [stdout]  --> tests/integration/operations/io_ops/adv_ops.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use miden_utils_testing::expect_exec_error_matches;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `miden_utils_testing`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `miden_utils_testing`, use `cargo add miden_utils_testing` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `miden_utils_testing`
[INFO] [stdout]  --> tests/integration/operations/io_ops/env_ops.rs:9:5
[INFO] [stdout]   |
[INFO] [stdout] 9 | use miden_utils_testing::{MIN_STACK_DEPTH, Word, build_op_test, build_test};
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `miden_utils_testing`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `miden_utils_testing`, use `cargo add miden_utils_testing` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `miden_utils_testing`
[INFO] [stdout]  --> tests/integration/operations/sys_ops.rs:7:5
[INFO] [stdout]   |
[INFO] [stdout] 7 | use miden_utils_testing::{build_op_test, expect_exec_error_matches};
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `miden_utils_testing`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `miden_utils_testing`, use `cargo add miden_utils_testing` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find module or crate `miden_utils_testing` in this scope
[INFO] [stdout]    --> tests/integration/prove_verify.rs:181:9
[INFO] [stdout]     |
[INFO] [stdout] 181 |     use miden_utils_testing::crypto::{MerklePath, MerkleStore, PartialMerkleTree};
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `miden_utils_testing`
[INFO] [stdout]     |
[INFO] [stdout]     = help: if you wanted to use a crate named `miden_utils_testing`, use `cargo add miden_utils_testing` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find module or crate `miden_utils_testing` in this scope
[INFO] [stdout]  --> tests/integration/operations/crypto_ops.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use miden_utils_testing::{
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `miden_utils_testing`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `miden_utils_testing`, use `cargo add miden_utils_testing` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find module or crate `miden_utils_testing` in this scope
[INFO] [stdout]  --> tests/integration/operations/field_ops.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use miden_utils_testing::{
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `miden_utils_testing`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `miden_utils_testing`, use `cargo add miden_utils_testing` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find module or crate `miden_utils_testing` in this scope
[INFO] [stdout]  --> tests/integration/operations/io_ops/constant_ops.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use miden_utils_testing::proptest::prelude::*;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `miden_utils_testing`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `miden_utils_testing`, use `cargo add miden_utils_testing` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find module or crate `miden_utils_testing` in this scope
[INFO] [stdout]  --> tests/integration/operations/stack_ops.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use miden_utils_testing::{
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `miden_utils_testing`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `miden_utils_testing`, use `cargo add miden_utils_testing` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find module or crate `miden_utils_testing` in this scope
[INFO] [stdout]  --> tests/integration/operations/u32_ops/arithmetic_ops.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use miden_utils_testing::{
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `miden_utils_testing`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `miden_utils_testing`, use `cargo add miden_utils_testing` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find module or crate `miden_utils_testing` in this scope
[INFO] [stdout]  --> tests/integration/operations/u32_ops/bitwise_ops.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use miden_utils_testing::{
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `miden_utils_testing`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `miden_utils_testing`, use `cargo add miden_utils_testing` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find module or crate `miden_utils_testing` in this scope
[INFO] [stdout]  --> tests/integration/operations/u32_ops/comparison_ops.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use miden_utils_testing::{build_op_test, proptest::prelude::*, rand::rand_value};
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `miden_utils_testing`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `miden_utils_testing`, use `cargo add miden_utils_testing` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find module or crate `miden_utils_testing` in this scope
[INFO] [stdout]  --> tests/integration/operations/u32_ops/conversion_ops.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use miden_utils_testing::{
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `miden_utils_testing`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `miden_utils_testing`, use `cargo add miden_utils_testing` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `miden_utils_testing`
[INFO] [stdout]  --> tests/integration/operations/u32_ops/mod.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use miden_utils_testing::{Felt, U32_BOUND, build_op_test, expect_exec_error_matches, prop_randw};
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `miden_utils_testing`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `miden_utils_testing`, use `cargo add miden_utils_testing` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `miden_utils_testing`
[INFO] [stdout]  --> tests/integration/operations/crypto_ops.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use miden_utils_testing::{
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `miden_utils_testing`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `miden_utils_testing`, use `cargo add miden_utils_testing` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `miden_utils_testing`
[INFO] [stdout]  --> tests/integration/operations/field_ops.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use miden_utils_testing::{
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `miden_utils_testing`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `miden_utils_testing`, use `cargo add miden_utils_testing` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `miden_utils_testing`
[INFO] [stdout]  --> tests/integration/operations/stack_ops.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use miden_utils_testing::{
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `miden_utils_testing`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `miden_utils_testing`, use `cargo add miden_utils_testing` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `miden_utils_testing`
[INFO] [stdout]  --> tests/integration/operations/u32_ops/arithmetic_ops.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use miden_utils_testing::{
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `miden_utils_testing`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `miden_utils_testing`, use `cargo add miden_utils_testing` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `miden_utils_testing`
[INFO] [stdout]  --> tests/integration/operations/u32_ops/bitwise_ops.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use miden_utils_testing::{
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `miden_utils_testing`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `miden_utils_testing`, use `cargo add miden_utils_testing` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `miden_utils_testing`
[INFO] [stdout]  --> tests/integration/operations/u32_ops/comparison_ops.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use miden_utils_testing::{build_op_test, proptest::prelude::*, rand::rand_value};
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `miden_utils_testing`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `miden_utils_testing`, use `cargo add miden_utils_testing` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `miden_utils_testing`
[INFO] [stdout]  --> tests/integration/operations/u32_ops/conversion_ops.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use miden_utils_testing::{
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `miden_utils_testing`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `miden_utils_testing`, use `cargo add miden_utils_testing` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `proptest` in this scope
[INFO] [stdout]   --> tests/integration/operations/crypto_ops.rs:12:1
[INFO] [stdout]    |
[INFO] [stdout] 12 | proptest! {
[INFO] [stdout]    | ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `proptest` is in scope, but it is a crate, not a macro
[INFO] [stdout] help: consider importing this macro
[INFO] [stdout]    |
[INFO] [stdout]  1 + use proptest::proptest;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `proptest` in this scope
[INFO] [stdout]   --> tests/integration/operations/crypto_ops.rs:33:1
[INFO] [stdout]    |
[INFO] [stdout] 33 | proptest! {
[INFO] [stdout]    | ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `proptest` is in scope, but it is a crate, not a macro
[INFO] [stdout] help: consider importing this macro
[INFO] [stdout]    |
[INFO] [stdout]  1 + use proptest::proptest;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `proptest` in this scope
[INFO] [stdout]    --> tests/integration/operations/crypto_ops.rs:121:1
[INFO] [stdout]     |
[INFO] [stdout] 121 | proptest! {
[INFO] [stdout]     | ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `proptest` is in scope, but it is a crate, not a macro
[INFO] [stdout] help: consider importing this macro
[INFO] [stdout]     |
[INFO] [stdout]   1 + use proptest::proptest;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `proptest` in this scope
[INFO] [stdout]    --> tests/integration/operations/crypto_ops.rs:591:1
[INFO] [stdout]     |
[INFO] [stdout] 591 | proptest! {
[INFO] [stdout]     | ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `proptest` is in scope, but it is a crate, not a macro
[INFO] [stdout] help: consider importing this macro
[INFO] [stdout]     |
[INFO] [stdout]   1 + use proptest::proptest;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `proptest` in this scope
[INFO] [stdout]    --> tests/integration/operations/field_ops.rs:744:1
[INFO] [stdout]     |
[INFO] [stdout] 744 | proptest! {
[INFO] [stdout]     | ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `proptest` is in scope, but it is a crate, not a macro
[INFO] [stdout] help: consider importing this macro
[INFO] [stdout]     |
[INFO] [stdout]   1 + use proptest::proptest;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `proptest` in this scope
[INFO] [stdout]    --> tests/integration/operations/field_ops.rs:896:1
[INFO] [stdout]     |
[INFO] [stdout] 896 | proptest! {
[INFO] [stdout]     | ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `proptest` is in scope, but it is a crate, not a macro
[INFO] [stdout] help: consider importing this macro
[INFO] [stdout]     |
[INFO] [stdout]   1 + use proptest::proptest;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `proptest` in this scope
[INFO] [stdout]   --> tests/integration/operations/io_ops/constant_ops.rs:92:1
[INFO] [stdout]    |
[INFO] [stdout] 92 | proptest! {
[INFO] [stdout]    | ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `proptest` is in scope, but it is a crate, not a macro
[INFO] [stdout] help: consider importing this macro
[INFO] [stdout]    |
[INFO] [stdout]  1 + use proptest::proptest;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `proptest` in this scope
[INFO] [stdout]    --> tests/integration/operations/stack_ops.rs:435:1
[INFO] [stdout]     |
[INFO] [stdout] 435 | proptest! {
[INFO] [stdout]     | ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `proptest` is in scope, but it is a crate, not a macro
[INFO] [stdout] help: consider importing this macro
[INFO] [stdout]     |
[INFO] [stdout]   1 + use proptest::proptest;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `proptest` in this scope
[INFO] [stdout]    --> tests/integration/operations/u32_ops/arithmetic_ops.rs:687:1
[INFO] [stdout]     |
[INFO] [stdout] 687 | proptest! {
[INFO] [stdout]     | ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `proptest` is in scope, but it is a crate, not a macro
[INFO] [stdout] help: consider importing this macro
[INFO] [stdout]     |
[INFO] [stdout]   1 + use proptest::proptest;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `proptest` in this scope
[INFO] [stdout]    --> tests/integration/operations/u32_ops/bitwise_ops.rs:588:1
[INFO] [stdout]     |
[INFO] [stdout] 588 | proptest! {
[INFO] [stdout]     | ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `proptest` is in scope, but it is a crate, not a macro
[INFO] [stdout] help: consider importing this macro
[INFO] [stdout]     |
[INFO] [stdout]   1 + use proptest::proptest;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `proptest` in this scope
[INFO] [stdout]   --> tests/integration/operations/u32_ops/comparison_ops.rs:59:1
[INFO] [stdout]    |
[INFO] [stdout] 59 | proptest! {
[INFO] [stdout]    | ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `proptest` is in scope, but it is a crate, not a macro
[INFO] [stdout] help: consider importing this macro
[INFO] [stdout]    |
[INFO] [stdout]  1 + use proptest::proptest;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `proptest` in this scope
[INFO] [stdout]    --> tests/integration/operations/u32_ops/conversion_ops.rs:259:1
[INFO] [stdout]     |
[INFO] [stdout] 259 | proptest! {
[INFO] [stdout]     | ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `proptest` is in scope, but it is a crate, not a macro
[INFO] [stdout] help: consider importing this macro
[INFO] [stdout]     |
[INFO] [stdout]   1 + use proptest::proptest;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `testing` in `miden_assembly`
[INFO] [stdout]    --> tests/integration/flow_control/mod.rs:405:35
[INFO] [stdout]     |
[INFO] [stdout] 405 |     let context = miden_assembly::testing::TestContext::new();
[INFO] [stdout]     |                                   ^^^^^^^ could not find `testing` in `miden_assembly`
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/miden-assembly-0.23.3/src/lib.rs:25:9
[INFO] [stdout]     |
[INFO] [stdout]  24 | #[cfg(any(test, feature = "testing"))]
[INFO] [stdout]     |          --------------------------- the item is gated here
[INFO] [stdout]  25 | pub mod testing;
[INFO] [stdout]     |         ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `testing` in `miden_assembly`
[INFO] [stdout]    --> tests/integration/flow_control/mod.rs:499:35
[INFO] [stdout]     |
[INFO] [stdout] 499 |     let context = miden_assembly::testing::TestContext::new();
[INFO] [stdout]     |                                   ^^^^^^^ could not find `testing` in `miden_assembly`
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/miden-assembly-0.23.3/src/lib.rs:25:9
[INFO] [stdout]     |
[INFO] [stdout]  24 | #[cfg(any(test, feature = "testing"))]
[INFO] [stdout]     |          --------------------------- the item is gated here
[INFO] [stdout]  25 | pub mod testing;
[INFO] [stdout]     |         ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `ExecutionError` and `operation::OperationError`
[INFO] [stdout]  --> tests/integration/flow_control/mod.rs:5:23
[INFO] [stdout]   |
[INFO] [stdout] 5 | use miden_processor::{ExecutionError, Word, operation::OperationError};
[INFO] [stdout]   |                       ^^^^^^^^^^^^^^        ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `BasedVectorSpace` and `QuadFelt`
[INFO] [stdout]  --> tests/integration/operations/crypto_ops.rs:1:25
[INFO] [stdout]   |
[INFO] [stdout] 1 | use miden_core::field::{BasedVectorSpace, QuadFelt};
[INFO] [stdout]   |                         ^^^^^^^^^^^^^^^^  ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `ExecutionError` and `operation::OperationError`
[INFO] [stdout]  --> tests/integration/operations/field_ops.rs:3:23
[INFO] [stdout]   |
[INFO] [stdout] 3 | use miden_processor::{ExecutionError, operation::OperationError};
[INFO] [stdout]   |                       ^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `ExecutionError` and `advice::AdviceError`
[INFO] [stdout]  --> tests/integration/operations/io_ops/adv_ops.rs:4:23
[INFO] [stdout]   |
[INFO] [stdout] 4 | use miden_processor::{ExecutionError, advice::AdviceError};
[INFO] [stdout]   |                       ^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `ExecutionError`, `ZERO`, and `operation::OperationError`
[INFO] [stdout]  --> tests/integration/operations/sys_ops.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 |     ExecutionError, ZERO,
[INFO] [stdout]   |     ^^^^^^^^^^^^^^  ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 5 |     operation::OperationError,
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `ExecutionError` and `operation::OperationError`
[INFO] [stdout]  --> tests/integration/operations/u32_ops/mod.rs:1:23
[INFO] [stdout]   |
[INFO] [stdout] 1 | use miden_processor::{ExecutionError, operation::OperationError};
[INFO] [stdout]   |                       ^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `ExecutionError` and `operation::OperationError`
[INFO] [stdout]  --> tests/integration/operations/u32_ops/arithmetic_ops.rs:1:23
[INFO] [stdout]   |
[INFO] [stdout] 1 | use miden_processor::{ExecutionError, operation::OperationError};
[INFO] [stdout]   |                       ^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `ExecutionError`, `Felt`, and `operation::OperationError`
[INFO] [stdout]  --> tests/integration/operations/u32_ops/bitwise_ops.rs:1:23
[INFO] [stdout]   |
[INFO] [stdout] 1 | use miden_processor::{ExecutionError, Felt, operation::OperationError};
[INFO] [stdout]   |                       ^^^^^^^^^^^^^^  ^^^^  ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `ExecutionError`, `field::PrimeField64`, and `operation::OperationError`
[INFO] [stdout]  --> tests/integration/operations/u32_ops/conversion_ops.rs:1:23
[INFO] [stdout]   |
[INFO] [stdout] 1 | use miden_processor::{ExecutionError, field::PrimeField64, operation::OperationError};
[INFO] [stdout]   |                       ^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `to_elements` found for array `[{integer}; 12]` in the current scope
[INFO] [stdout]    --> tests/integration/operations/io_ops/mem_ops.rs:291:49
[INFO] [stdout]     |
[INFO] [stdout] 291 |         [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12].to_elements().try_into().unwrap();
[INFO] [stdout]     |                                                 ^^^^^^^^^^^ method not found in `[{integer}; 12]`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/miden-core-0.23.3/src/utils/mod.rs:30:8
[INFO] [stdout]     |
[INFO] [stdout]  30 |     fn to_elements(&self) -> Vec<Felt>;
[INFO] [stdout]     |        ----------- the method is available for `[{integer}; 12]` here
[INFO] [stdout]     |
[INFO] [stdout]     = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `ToElements` which provides `to_elements` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]     |
[INFO] [stdout]   1 + use miden_assembly::utils::ToElements;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `to_elements` found for array `[{integer}; 12]` in the current scope
[INFO] [stdout]   --> tests/integration/operations/io_ops/mod.rs:69:46
[INFO] [stdout]    |
[INFO] [stdout] 69 |         [1, 2, 3, 4, 5, 6, 7, 8, 0, 0, 0, 0].to_elements().try_into().unwrap();
[INFO] [stdout]    |                                              ^^^^^^^^^^^ method not found in `[{integer}; 12]`
[INFO] [stdout]    |
[INFO] [stdout]   ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/miden-core-0.23.3/src/utils/mod.rs:30:8
[INFO] [stdout]    |
[INFO] [stdout] 30 |     fn to_elements(&self) -> Vec<Felt>;
[INFO] [stdout]    |        ----------- the method is available for `[{integer}; 12]` here
[INFO] [stdout]    |
[INFO] [stdout]    = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `ToElements` which provides `to_elements` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]    |
[INFO] [stdout]  1 + use miden_assembly::utils::ToElements;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no associated function or constant named `try_from_ints` found for struct `StackInputs` in the current scope
[INFO] [stdout]   --> tests/integration/prove_verify.rs:23:37
[INFO] [stdout]    |
[INFO] [stdout] 23 |     let stack_inputs = StackInputs::try_from_ints([0, 1]).unwrap();
[INFO] [stdout]    |                                     ^^^^^^^^^^^^^ associated function or constant not found in `StackInputs`
[INFO] [stdout]    |
[INFO] [stdout] note: if you're trying to build a new `StackInputs`, consider using `StackInputs::new` which returns `Result<StackInputs, InputError>`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/miden-core-0.23.3/src/program/stack/inputs.rs:31:5
[INFO] [stdout]    |
[INFO] [stdout] 31 |     pub fn new(values: &[Felt]) -> Result<Self, InputError> {
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: there is an associated function `try_from` with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 23 -     let stack_inputs = StackInputs::try_from_ints([0, 1]).unwrap();
[INFO] [stdout] 23 +     let stack_inputs = StackInputs::try_from([0, 1]).unwrap();
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no associated function or constant named `try_from_ints` found for struct `StackInputs` in the current scope
[INFO] [stdout]    --> tests/integration/prove_verify.rs:487:41
[INFO] [stdout]     |
[INFO] [stdout] 487 |         let stack_inputs = StackInputs::try_from_ints([0, 1]).unwrap();
[INFO] [stdout]     |                                         ^^^^^^^^^^^^^ associated function or constant not found in `StackInputs`
[INFO] [stdout]     |
[INFO] [stdout] note: if you're trying to build a new `StackInputs`, consider using `StackInputs::new` which returns `Result<StackInputs, InputError>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/miden-core-0.23.3/src/program/stack/inputs.rs:31:5
[INFO] [stdout]     |
[INFO] [stdout]  31 |     pub fn new(values: &[Felt]) -> Result<Self, InputError> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: there is an associated function `try_from` with a similar name
[INFO] [stdout]     |
[INFO] [stdout] 487 -         let stack_inputs = StackInputs::try_from_ints([0, 1]).unwrap();
[INFO] [stdout] 487 +         let stack_inputs = StackInputs::try_from([0, 1]).unwrap();
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no associated function or constant named `try_from_ints` found for struct `StackInputs` in the current scope
[INFO] [stdout]    --> tests/integration/prove_verify.rs:531:41
[INFO] [stdout]     |
[INFO] [stdout] 531 |         let stack_inputs = StackInputs::try_from_ints([0, 1]).unwrap();
[INFO] [stdout]     |                                         ^^^^^^^^^^^^^ associated function or constant not found in `StackInputs`
[INFO] [stdout]     |
[INFO] [stdout] note: if you're trying to build a new `StackInputs`, consider using `StackInputs::new` which returns `Result<StackInputs, InputError>`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/miden-core-0.23.3/src/program/stack/inputs.rs:31:5
[INFO] [stdout]     |
[INFO] [stdout]  31 |     pub fn new(values: &[Felt]) -> Result<Self, InputError> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: there is an associated function `try_from` with a similar name
[INFO] [stdout]     |
[INFO] [stdout] 531 -         let stack_inputs = StackInputs::try_from_ints([0, 1]).unwrap();
[INFO] [stdout] 531 +         let stack_inputs = StackInputs::try_from([0, 1]).unwrap();
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0433, E0599.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `miden-vm` (test "miden-cli") due to 60 previous errors; 9 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "5d79c6bbe052cb279e8092860b033e1fdddd3767f76dfcf2bdd6677095e8d8de", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5d79c6bbe052cb279e8092860b033e1fdddd3767f76dfcf2bdd6677095e8d8de", kill_on_drop: false }`
[INFO] [stdout] 5d79c6bbe052cb279e8092860b033e1fdddd3767f76dfcf2bdd6677095e8d8de
